As digital circuit elements decrease in physical size, resulting in increasingly complex systems, a basic logic model that can be used in the control and design of a range of semiconductor devices is vital. Finite State Machines (FSM) have numerous advantages; they can be applied to many areas (including motor control, and signal and serial data identification to name a few) and they use less logic than their alternatives, leading to the development of faster digital hardware systems." "This book presents a range of techniques for the rapid and reliable design of digital systems using FSMs, detailing exactly how and where they can be implemented. It covers synchronous and asynchronous FSMs in the design of both simple and complex systems, and Petri-Net design techniques for sequential/​parallel control systems. Chapters on Hardware Description Language cover the Verilog HDL in sufficient detail to facilitate the description and verification of FSMs, and FSM based systems, at both the gate and behavioural levels. This book will be of use to digital designers, senior students and postgraduates of electronic engineering who require design skills for the embedded systems market.